Universal Access To All Knowledge
Home Donate | Store | Blog | FAQ | Jobs | Volunteer Positions | Contact | Bios | Forums | Projects | Terms, Privacy, & Copyright
Search: Advanced Search
Anonymous User (login or join us)
Upload
Search Results
Results: 1 through 20 of 20 (0.204 secs)
You searched for: subject:"Lambda Calculus"
[texts]Scheme: An interpreter for extended lambda calculus - Gerald Jay Sussman and Guy L. Steele, Jr.
Inspired by ACTORS, we have implemented an interpreter for a LISP-like language, SCHEME, based on the lambda calculus, but extended for side effects, multiprocessing, and process synchronization.
Keywords: scheme; lambda calculus
Downloads: 250
[movies]Untyped Lambda Calculus Interpretations v1 - ClaudiusMaximus
audio-visualisation of some computations in untyped lambda calculus
Keywords: Computation; Algorithm; Lambda Calculus; Visualisation
Downloads: 573
[texts]Distributed computer communications in support of real-time visual simulations / [by] Theodore H. Barrow, John M. Yurchak [and] Michael J. Zyda. - Barrow, Theodore H.;Yurchak, John M.;Zyda, Michael J.
Title from cover
Keywords: ALGORITHMS; LAMBDA CALCULUS; MATHEMATICAL ANALYSIS--FOUNDATIONS
Downloads: 55
[movies]Categorical Abstract Machine. Lecture 3 of 8: Expression Evaluation: The ways of Computation in a Category - V.E. Wolfengagen
Topics: The ways of evaluation. Running the compiled programming code. Assembling the code. Comparison of the evaluations.
Keywords: lambda-calculus; combinatory logic; expression evaluation; theory of computation
Downloads: 131
[texts]Optimal transfer lots for batch manufacturing : a basic case and extensions - Trietsch, Dan.
Title from cover
Keywords: CALCULUS; LAMBDA CALCULUS; MATHEMATICAL ANALYSIS; LOGIC, SYMBOLIC AND MATHEMATICAL
Downloads: 45
[texts]Combinatory Logic in Programming. - V.E. Wolfengagen
Book by V.E. Wolfengagen "Combinatory Logic in Programming. Computations with Objects Through Examples and Exercises". 2-nd ed. -- Moscow, Center JurInfoR, 2003. X+336 p. The book is intended for computer science students, programmers and professionals who have already got acquainted with the basic courses and background on discrete mathematics. It may be used as a textbook for graduate course on theoretical computer science...
Keywords: Applicative computations; combinatory logic; lambda-calculus; programming; categorical abstract machine
Downloads: 631
[texts]Canonical simplification of finite objects, well quasi-ordered by tree embedding (Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no.981) - Brown, Thomas C
"UILU-ENG 79 1727."
Keywords: Trees (Graph theory); Directed graphs; Lambda calculus; Embeddings (Mathematics)
Downloads: 28
[movies]Categorical Abstract Machine. Lecture 4 of 8: Developing the abstract machine in a Category - V.E. Wolfengagen
Topics: A notion of developing the abstract machine. Functioning of abstract machine. States. Working cycle of the abstract machine. Examples of evaluation. Compiling and executing the code.
Keywords: lambda-calculus; combinatory logic; expression evaluation; theory of computation
Downloads: 122
[movies]Categorical Abstract Machine. Lecture 1 of 8: Computation in a Category - V.E. Wolfengagen
Topics: The notion of Categorical Abstract Machine (CAM). Evaluation in a Cartesian closed category (c.c.c.). Evaluating map. Environment. Examples of expression evaluation. Collision of variables. Eliminating the collision. De Bruijn's encoding. De Bruijn's numerals. Evaluation in a c.c.c. using De Bruijn's encoding. Combinatory glue. The properties of the theories of computation.
Keywords: lambda-calculus; combinatory logic; expression evaluation; theory of computation
Downloads: 356
[movies]Categorical Abstract Machine. Lecture 2 of 8: Expression Evaluation: Theory of Computation in a Category - V.E. Wolfengagen
Topics: Expression evaluation and the ways of evaluating. The representation of the environment of expression evaluation. De Bruijn's theory of computation of expression evaluation. Syntactical theory of computation. The kinds of the expression evaluation theories.
Keywords: lambda-calculus; combinatory logic; expression evaluation; theory of computation
Downloads: 246
[audio]Live At LiWoLi11 2011-05-13 - ClaudiusMaximus
audio part of a live a/v performance at LiWoLi11. RDEX noisy audio-visual reaction-diffusion explorations GULCII live coding untyped lambda calculus with audiovisuals
Keywords: RDEX; Hyperspace Exploration; Artificial Chemistry; Drone; Noise; GULCII; Lambda Calculus; Live Coding
Downloads: 19
[texts]Man-machine systems of the 1990 decade : cognitive factos and human interface issues - Hoffman, Paul J.
Title from cover
Keywords: PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS)--SEMANTICS; PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS)--SYNTAX; LISP (COMPUTER PROGRAM LANGUAGE); LIST PROCESSING (ELECTRONIC COMPUTERS); LAMBDA CALCULUS
Downloads: 76
[texts]mit :: ai :: aim :: AIM-410
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-410
Keywords: actor; plasma; control; implementation; structure; behavior; actors; factorial; lambda; message; actor model; passing messages; control structure; event diagrams; lambda calculus; artificial intelligence; actor transmission; problem solving; event diagram; control structures
Downloads: 36
[texts]mit :: lcs :: tr :: MIT-LCS-TR-325
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-325
Keywords: term; evaluator; lemma; reduction; type; combinatory; axioms; theorem; notion; reducible; type errors; lambda calculus; type error; natural numbers; proof system; unary function; bound variables; axiom schemes; combinatory model; cross diamond
Downloads: 23
[texts]mit :: lcs :: tr :: MIT-LCS-TR-925
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-925
Keywords: logic; role; predicate; lambda; formulas; translation; formula; figure; bruijn; calculus; description logic; bruijn indices; role logic; boolean shape; shape analysis; unary predicate; typed lambda; description logics; lambda calculus; binary predicate
Downloads: 30
[texts]mit :: ai :: aim :: AIM-353
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-353
Keywords: imperative; sussman; steele; function; ultimate; variable; variables; lambda; epsilon; assignment; side effects; free variables; ultimate imperative; lambda calculus; sussman march; lambda expressions; programming language; lexically scoped; fluid variables; escape function
Downloads: 30
[texts]mit :: ai :: aim :: AIM-727
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-727
Keywords: actor; lambda; programming; systems; open; semantics; description; behavior; message; calculus; shared resources; programming languages; message passing; open system; lambda calculus; artificial intelligence; actor model; passing semantics; open systems; actor systems
Downloads: 12
[texts]mit :: lcs :: tr :: MIT-LCS-TR-136
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-136
Keywords: lambda; expression; expressions; function; applicative; domain; normal; semantic; functions; calculus; applicative languages; applicative language; lambda calculus; reduction step; normal form; lambda expression; beta conversion; reduction sequence; normal forms; lambda expressions
Downloads: 73
[texts]mit :: ai :: aim :: AIM-349
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-349
Keywords: lambda; expression; interpreter; sussman; process; environment; recursive; lisp; steele; programming; lisp function; lambda expressions; lambda expression; primitive operators; lambda calculus; primitive operator; reference manual; substitution semantics; steele december; control structure
Downloads: 53
[texts]mit :: ai :: aim :: AIM-750
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-750
Keywords: artificial; parallel; architectures; apiary; hewitt; systems; actors; intelligence; architecture; actor; massachusetts institute; shared memory; artificial intelligence; von neumann; parallel architectures; logic programming; intelligence laboratory; lambda calculus; design issues; intelligence systems
Downloads: 31
Advanced search

Group results by:

> Relevance
Mediatype
Collection

Related mediatypes

texts
movies
audio